Đọc thêm Lý_thuyết_ngôn_ngữ_lập_trình

  • Mitchell, John C.. Foundations for Programming Languages.
  • Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press.
  • Pierce, Benjamin C. Advanced Topics in Types and Programming Languages.
  • Pierce, Benjamin C. et al. (2010). Software Foundations.
  • Programming Language Pragmatics, 2nd Edition by Michael Scott (Morgan Kaufmann, 2006)
  • Essentials of Programming Languages by Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes (MIT Press 2001)

Tài liệu tham khảo

WikiPedia: Lý_thuyết_ngôn_ngữ_lập_trình http://www.c2.com/cgi/wiki?ModelsOfComputation http://www.elsevier.com/wps/find/journaldescriptio... http://www.levenez.com/lang/history.html http://www.cs.indiana.edu/eopl/ http://www.cs.rochester.edu/~scott/pragmatics/ http://www.cis.upenn.edu/~bcpierce/sf/ http://www.cis.upenn.edu/~bcpierce/tapl/main.html http://www.cs.wustl.edu/~toplas/ http://www.freebookcentre.net/CompuScience/Free-Pr... http://www.haskell.org/haskell-history.html